home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Language/OS - Multiplatform Resource Library
/
LANGUAGE OS.iso
/
t3_1
/
tman.lha
/
tman
/
intro.tex
/
images.pl
(
.txt
)
< prev
next >
Wrap
LaTeX Document
|
1990-10-02
|
939b
|
19 lines
# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q/Longrightarrow;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 196.25ex; vertical-align: -0.12ex; " SRC="|."$dir".q|img1.png"
ALT="$\Longrightarrow$">|;
$key = q/{codexenv}(MEMQ?{{it{xslash}{{it{lslash}){equiv{(MEM?EQ?{{it{xslash}{{it{lslash}){codexenv};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img3.png"
ALT="\begin{codexenv}
(MEMQ? {\it x\/} {\it l\/}) $\equiv$ (MEM? EQ? {\it x\/} {\it l\/})
\end{codexenv}">|;
$key = q/{codexenv}(PRINT{{it{objectportslash}){longrightarrow{{{it{undefined}{codexenv};MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
STYLE="height: 1.33ex; vertical-align: 177.74ex; " SRC="|."$dir".q|img2.png"
ALT="\begin{codexenv}
(PRINT {\it object port\/}) $\longrightarrow$ {\it undefined}
\end{codexenv}">|;